منابع مشابه
Reliability Optimization for Complicated Systems with a Choice of Redundancy Strategies (TECHNICAL NOTE)
Redundancy allocation is one of the common techniques to increase the reliability of the bridge systems. Many studies on the general redundancy allocation problems assume that the redundancy strategy for each subsystem is predetermined and fixed. In general, active redundancy has received more attention in the past. However, in real world, a particular system design contains both active and col...
متن کاملDeterminacy and determinacy analysis
One attractive, unique feature of logic programming languages is their ability to succinctly and declaratively express search. The alternatives of a search can be speci ed by a set of clauses de ning the same predicate. By backtracking, considering in turn each of these clauses, the di erent alternatives are explored until a solution (if it exists) is found. However, though backtracking is esse...
متن کاملDeterminacy and optimal strategies in infinite-state stochastic reachability games
We consider perfect-information reachability stochastic games for 2 players on infinite graphs. We identify a subclass of such games, and prove two interesting properties of it: first, Player Max always has optimal strategies in games from this subclass, and second, these games are strongly determined. The subclass is defined by the property that the set of all values can only have one accumula...
متن کاملWhat are Strategies in Delay Games? Borel Determinacy for Games with Lookahead
We investigate determinacy of delay games with Borel winning conditions, infinite-duration twoplayer games in which one player may delay her moves to obtain a lookahead on her opponent’s moves. First, we prove determinacy of such games with respect to a fixed evolution of the lookahead. However, strategies in such games may depend on information about the evolution. Thus, we introduce different...
متن کاملNew strategies to manage complicated pleural effusions
BACKGROUND More than 30% of patients with pleural infection either die or require surgery. Drainage of infected fluid is the key to successful treatment, but intrapleural fibrinolytic therapy did not improve outcomes in an earlier, large, randomized trial therapy (Multicenter Intrapleural Sepsis Trial [MIST1]). METHODS Objective: To evaluate the efficacy and safety of intrapleural DNase alone...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1985
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1985-0784188-0